Oprogramowania idealne
17 sierpnia 2009, 11:48Australijska organizacja NICTA ogłosiła powstanie pierwszego w historii jądra systemu operacyjnego, które nie tylko zostało w całości matematycznie opisane, ale również przeprowadzono matematyczne dowody na to, iż każda z linii kodu jest w pełni zgodna ze specyfikacją.
Wciąż trwają analizy dowodu Mochizukiego
1 sierpnia 2016, 10:49Przed czterema laty Shinichi Mochizuki opublikował 500-stronicowy dowód matematyczny na prawdziwość hipotezy ABC. Jeśli dowód jest prawdziwy, to mamy do czynienia z największym osiągnięciem matematyki XXI wieku. Problem w tym, że nikt nie potrafi zrozumieć pracy Mochizukiego.
Komputerowy wzrok bliski ludzkiemu
17 września 2010, 11:29Na Yale University powstał superkomputer, który potrafi przetwarzać informacje wizualne znacznie szybciej, niż dotychczas stosowane maszyny. Jego twórca, Eugenio Culurciello uważa, że NeuFlow będzie pewnego dnia w stanie kierować samochodem, gdyż sprawnie rozpozna na drodze ludzi, zwierzęta, pojazdy, drzewa i inne przeszkody.
Jest więcej gatunków ssaków niż sądzimy
6 lutego 2018, 10:19Jak wynika z badań opublikowanych w Journal of Mammology, w ciągu ostatnich 20 lat opisano średnio 1000 nowych gatunków ssaków na dekadę. To pokazuje, że – wbrew powszechnemu przekonaniu – ssaki wcale nie są dobrze rozpoznaną gromadą.
Zaskakujące ubarwienie prehistorycznego pingwina
5 października 2010, 08:42Paleontolodzy znaleźli w Peru skamielinę olbrzymiego pingwina sprzed 36 mln lat. Zachowały się w niej ślady piór oraz łusek, dzięki czemu wiadomo, że czerwonobrązowe i szare ubarwienie Inkayacu paracasensis w niczym nie przypominało czarno-białego "stroju" jego współczesnych kuzynów.
Zbadano największą rodzinę języków łowców-zbieraczy
28 marca 2018, 11:25Międzynarodowy zespół naukowy zaadaptował modele komputerowe służące śledzeniu rozprzestrzeniania się wirusów do prześledzenia źródeł największej na świecie rodziny języków łowców-zbieraczy, języków pama-nyungan z Australii. Obecnie istnieją 282 języki pama-nyungańskie, które mają łącznie 30 000 użytkowników.
Kochani mniej cenią majątek
4 marca 2011, 10:08Ludzie o nasilonym poczuciu bezpieczeństwa interpersonalnego – doświadczający miłości i akceptacji ze strony innych – przypisują swojemu majątkowi niższą wartość pieniężną.
Rewolucyjny dowód matematyczny doczeka się publikacji po 8 latach analiz
3 kwietnia 2020, 10:53Przed ośmiu laty ze świata matematyki nadeszła sensacyjna wiadomość – pojawił się dowód na prawdziwość hipotezy ABC. Jeśli jest on prawdziwy, to mamy do czynienia z największym osiągnięciem matematycznym bieżącego wieku. Autor dowodu, Shinichi Mochizuki z Uniwersytetu w Kioto, udostępnił olbrzymią 600-stronicową pracę na ten temat. I musiał czekać aż 8 lat nim ktokolwiek był w stanie ją przeanalizować.
Kosmiczne jądro ciemności
2 sierpnia 2011, 11:34Dzięki hawajskiemu teleskopowi Keck II znaleziono najciemniejszą znaną nam galaktykę. Mówiąc o ciemnej galaktyce astronomia nie przesądza o ilości światła, którą ona emituje, ale o stosunku masy widzialnych gwiazd do masy całej galaktyki
Już 90 000 lat temu ludzie zmieniali całe ekosystemy za pomocą ognia
14 maja 2021, 09:55Badania przeprowadzone pod kierunkiem uczonych z Yale University przyniosły najstarsze dowody na znaczące zmiany całych ekosystemów, jakich człowiek dokonywał za pomocą ognia. Z artykułu opublikowanego w Science Advances dowiadujemy się, że ludzie mieszkający na brzegach jeziora Malawi zmieniali ekosystem już przed 92 000 lat
